Deploying the preview of the documentation works and is also hosted at the correct URL, see https://juliageometry.github.io/MeshIntegrals.jl/previews/PR117/?pr=117.

Looking at https://coveralls.io/github/JuliaGeometry/MeshIntegrals.jl seems like coveralls successfully recognizes the move, but https://app.codecov.io/gh/JuliaGeometry/MeshIntegrals.jl seems like codecov didn't. That something with codecov is still not working is also reflecting by the missing comment from the codecov bot in the PR. This indicates that it is still using the old url. But to investigate further we would need to look into the settings of the repo and check the CODECOV_TOKEN (maybe it changed after the move and needs to be updated with the new one?), however this is currently pending #115 (comment)

We also need to remember to update the link to the docs in the about section of the repo, but I guess you can also not edit this one @mikeingold, right?

We also need to remember to update the link to the docs in the about section of the repo, but I guess you can also not edit this one @mikeingold, right?

Correct. That’s actually what made me realize I had lost owner rights, since I now don’t have access to the settings icon that I would’ve used to modify that link.

We also need to remember to update the link to the docs in the about section of the repo, but I guess you can also not edit this one @mikeingold, right?

Correct. That’s actually what made me realize I had lost owner rights, since I now don’t have access to the settings icon that I would’ve used to modify that link.

Ok, let's wait for Julios response.

@JoshuaLampert @mikeingold you should both have admin rights in MeshIntegrals.jl now. Please let me know if it is not the case.

When I pull up my CodeCov profile I can still see the repo as if it's mikeingold/MeshIntegrals.jl. I don't see any options to update the source/url of the repo and the last commit it recognizes was 2 days ago, so it seems to have gotten disconnected.

Once we get owner rights set up, it looks like we can just use this link to set it up again from scratch with a new token.

We also need to remember to update the link to the docs in the about section of the repo

Done.

CodeCov token updated.

I reran CI. Let's see what happens.

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

Looks like we are all set👍